Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
141	COMMON LISP: A Gentle Introduction to Symbolic Computation COMMON LISP: A Gentle Introduction Add to Reading List Source URL: www.lispmachine.net Language: English - Date: 2005-12-14 10:46:43 Lisp programming language Lisp Cons Symbol Genera Keyword Scheme Scope Eval Computing Software engineering Computer programming
142	Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-12-15 08:55:43 Classes of computers Symbolic computation Reduced instruction set computing Computing Computer science Science Bruno Buchberger SIGSAM Research Institute for Symbolic Computation Computer algebra Hagenberg im Mühlkreis
143	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
144	Cover Art: Enigma of Sentience; an Allegory of the Arts and Sciences A painting by Ernest P. Garcia Created for the 10th Anniversary of Albuquerque TVI’s Arts and Sciences Department. An allegory in painting is the us Add to Reading List Source URL: math.unm.edu Language: English - Date: 2001-05-28 23:35:41 Mathematics Algebraic geometry Gröbner basis Invariant theory Computer algebra system Hilbert series and Hilbert polynomial Linear algebra Symbolic computation Polynomial Algebra Computer algebra Commutative algebra
145	Bjarke Hammersholt Roune Danish citizen [removed] http://www.broune.com/ Add to Reading List Source URL: www.broune.com Language: English - Date: 2013-05-03 15:06:39 Computer algebra Algebraic geometry Commutative algebra Gröbner basis Invariant theory Computer algebra system Magma computer algebra system Symbolic computation Macaulay computer algebra system Abstract algebra Mathematics Algebra
146	J. Symbolic Computation[removed], 1–12 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language Add to Reading List Source URL: www.ginac.de Language: English - Date: 2001-12-15 13:24:28 Meromorphic functions Functions and mappings Cross-platform software GiNaC Polynomial Computer algebra system Maple Function Rational function Software Mathematical analysis Mathematics
147	J. Symbolic Computation[removed], 1–13 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Computation and Homotopical Applications of Induced Crossed Modules Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-03-14 19:06:11 Algebraic topology Homological algebra Algebraic structures Group theory Crossed module Group cohomology Hurewicz theorem Homotopy group Adjoint functors Abstract algebra Algebra Homotopy theory
148	Fast, rigorous arbitrary-precision numerics with ball arithmetic Fredrik Johansson Research Institute for Symbolic Computation, Johannes Kepler University Linz Supported by Austrian Science Fund (FWF) grant Y464-N18 Add to Reading List Source URL: fredrikj.net Language: English - Date: 2013-03-14 11:53:29 Applied mathematics Numbers Data types Arithmetic Numerical software Floating point Arbitrary-precision arithmetic Interval arithmetic GNU Multiple Precision Arithmetic Library Computer arithmetic Mathematics Numerical analysis
149	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
150	The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:53:10 Computer algebra systems SIGSAM CODEN Association for Computing Machinery Bill Schelter Symbolic computation Software Axiom Computing

UPDATE